Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
21	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
22	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root
23	ADA COMPLIANCE AND FINAL ACCEPTANCE OF CONSTRUCTED FACILITIES JSP-10-01ADescription. The contractor shall comply with all laws pertaining to the Americans with Disabilities Act (ADA) during construction of pedest Add to Reading List Source URL: spexternal.modot.mo.gov Language: English - Date: 2015-12-10 15:31:38 Software engineering Computing Programming language theory Contract law Civil engineering Construction (Design and Management) Regulations Americans with Disabilities Act Ada Construction Subcontractor General contractor
24	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
25	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:16:49 Software engineering Computer programming Programming language theory Data types Subroutines Functional programming Type theory Procedural programming languages Higher-order function Option type ALGOL 68 Technical University of Denmark
26	Introduction to Smalltalk - Chapter 8 - More Sequenceable Collections, List widgets  Ivan TomekChapter 8 - More Sequenceable Collections, List widgets Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Self VisualWorks Objective-C Widget This Mutator method Pointer
27	Calling Variadic Functions from a Strongly Typed Language Matthias Blume Mike Rainey Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-10-05 21:17:42 Software engineering Computing Computer programming Subroutines Variadic function Type theory Variadic Cross-platform software Printf format string Parameter Type system John Reppy
28	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Assignment 2 Out: Tuesday, 15 September 2009 Due: Tuesday, 29 September 2009 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-09-29 07:56:09 Software engineering ATS Computer programming T1 Programming language theory
29	detecting the future ALBULA ware ft Add to Reading List Source URL: www.dectris.com Language: English - Date: 2016-04-27 04:53:16 Software engineering Computer programming Programming language theory Application programming interface Technical communication Python
30	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system

UPDATE